Andreas Podelski: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Another variation on the common subexpression problem

Maurice Nivat, Andreas Podelski

Journal:

Discrete Mathematics

Year:

1993

Language:

english

File:

PDF, 1.34 MB

english, 1993

2

[Lecture Notes in Computer Science] Networked Systems Volume 11028 (6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers) || A Measure for Quantifying the Topological Structure of Some Networks

Podelski, Andreas, Taïani, François

Year:

2019

Language:

english

File:

PDF, 813 KB

english, 2019

3

Towards a meaning of life

Hassan Aït-Kaci, Andreas Podelski

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 2.97 MB

english, 1993

4

A feature constraint system for logic programming with entailment

Hassan Aït-Kaci, Andreas Podelski, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.47 MB

english, 1994

5

Nested interpolants

Heizmann, Matthias, Hoenicke, Jochen, Podelski, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 532 KB

english, 2010

6

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

Bogomolov, Sergiy, Forets, Marcelo, Frehse, Goran, Viry, Frédéric, Podelski, Andreas, Schilling, Christian

Year:

2018

Language:

english

File:

PDF, 1.17 MB

english, 2018

7

[Lecture Notes in Computer Science] Static Analysis Volume 11002 (25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings) || Deductive Verification in Decidable Fragments with Ivy

Podelski, Andreas

Year:

2018

Language:

english

File:

PDF, 256 KB

english, 2018

8

Rabin tree automata and finite monoids

Danièle Beauquier, Andreas Podelski

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 858 KB

english, 1994

9

Situated simplification

Andreas Podelski, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

10

Order-sorted feature theory unification

Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein

Journal:

The Journal of Logic Programming

Year:

1997

File:

PDF, 1.18 MB

1997

11

Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH

Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski

Journal:

Requirements Engineering

Year:

2012

Language:

english

File:

PDF, 481 KB

english, 2012

12

Boolean and Cartesian abstraction for model checking C programs

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 215 KB

english, 2003

13

Tools and algorithms for the construction and analysis of systems

Kurt Jensen, Andreas Podelski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 107 KB

english, 2006

14

Directed model checking with distance-preserving abstractions

Klaus Dräger, Bernd Finkbeiner, Andreas Podelski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 465 KB

english, 2009

15

Constraint-based deductive model checking

Giorgio Delzanno, Andreas Podelski

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2001

Language:

english

File:

PDF, 392 KB

english, 2001

16

Summarization for termination: no return!

Byron Cook, Andreas Podelski, Andrey Rybalchenko

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 520 KB

english, 2009

17

Doomed program points

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 684 KB

english, 2010

18

Verification of cryptographic protocols: tagging enforces termination

Bruno Blanchet, Andreas Podelski

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 305 KB

english, 2005

19

Special issue

Kurt Jensen, Andreas Podelski

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 38 KB

english, 2005

20

Ordering Constraints over Feature Trees

Martin Müller, Joachim Niehren, Andreas Podelski

Journal:

Year:

2000

Language:

english

File:

PDF, 194 KB

english, 2000

21

[ACM Press the 27th ACM SIGPLAN-SIGACT symposium - Boston, MA, USA (2000.01.19-2000.01.21)] Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '00 - Efficient algorithms for pre* and post* on interprocedural parallel flow graphs

Esparza, Javier, Podelski, Andreas

Year:

2000

Language:

english

File:

PDF, 1.30 MB

english, 2000

22

Set Constraints with Intersection

Witold Charatonik, Andreas Podelski

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 156 KB

english, 2002

23

Minimal Ascending and Descending Tree Automata

Nivant, Maurice, Podelski, Andreas

Journal:

SIAM Journal on Computing

Year:

1997

Language:

english

File:

PDF, 372 KB

english, 1997

24

A geometrical view of the determinization and minimization of finite-state automata

Bruno Courcelle, Damian Niwinski, Andreas Podelski

Journal:

Theory of Computing Systems

Year:

1991

Language:

english

File:

PDF, 1.36 MB

english, 1991

25

[Lecture Notes in Computer Science] Verified Software: Theories, Tools, Experiments Volume 7152 || Isabelle/Circus: A Process Specification and Verification Environment

Joshi, Rajeev, Müller, Peter, Podelski, Andreas

Year:

2012

Language:

english

File:

PDF, 286 KB

english, 2012

26

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2988 || Vooduu: Verification of Object-Oriented Designs Using UPPAAL

Jensen, Kurt, Podelski, Andreas

Year:

2004

Language:

english

File:

PDF, 306 KB

english, 2004

27

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2988 || Tarjan’s Algorithm Makes On-the-Fly LTL Verification More Efficient

Jensen, Kurt, Podelski, Andreas

Year:

2004

Language:

english

File:

PDF, 206 KB

english, 2004

28

[Lecture Notes in Computer Science] Constraint Programming: Basics and Trends Volume 910 || Imagining CLP(Λ,≡αβ)

Podelski, Andreas

Year:

1995

Language:

english

File:

PDF, 1.29 MB

english, 1995

29

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 4349 || Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes

Cook, Byron, Podelski, Andreas

Year:

2007

Language:

english

File:

PDF, 513 KB

english, 2007

30

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 4349 ||

Cook, Byron, Podelski, Andreas

Year:

2007

Language:

english

File:

PDF, 7.47 MB

english, 2007

31

[IEEE 2011 IEEE 19th International Requirements Engineering Conference (RE) - Trento, Italy (2011.08.29-2011.09.2)] 2011 IEEE 19th International Requirements Engineering Conference - Disambiguation of industrial standards through formalization and graphical languages

Dietsch, Daniel, Arenis, Sergio Feo, Westphal, Bernd, Podelski, Andreas

Year:

2011

Language:

english

File:

PDF, 378 KB

english, 2011

32

[IEEE 2011 IEEE 19th International Requirements Engineering Conference (RE) - Trento, Italy (2011.08.29-2011.09.2)] 2011 IEEE 19th International Requirements Engineering Conference - Vacuous real-time requirements

Post, Amalinda, Hoenicke, Jochen, Podelski, Andreas

Year:

2011

Language:

english

File:

PDF, 401 KB

english, 2011

33

[IEEE 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering - Lightweight Static Analysis for GUI Testing

Arlt, Stephan, Podelski, Andreas, Bertolini, Cristiano, Schaf, Martin, Banerjee, Ishan, Memon, Atif M.

Year:

2012

Language:

english

File:

PDF, 562 KB

english, 2012

34

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2988 ||

Jensen, Kurt, Podelski, Andreas

Year:

2004

Language:

english

File:

PDF, 6.53 MB

english, 2004

35

[IEEE 2012 Fifth International Workshop on Requirements Engineering and Law (RELAW) - Chicago, IL, USA (2012.09.25-2012.09.25)] 2012 Fifth IEEE International Workshop on Requirements Engineering and Law (RELAW) - Towards successful subcontracting for software in small to medium-sized enterprises

Westphal, Bernd, Dietsch, Daniel, Feo-Arenis, Sergio, Podelski, Andreas, Pahlow, Louis, Morsbach, Jochen, Sommer, Barbara, Fuchs, Anke, Meierhofer, Christine

Year:

2012

Language:

english

File:

PDF, 241 KB

english, 2012

36

Proving program termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 3.55 MB

english, 2011

37

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Termination proofs for systems code

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2006

Language:

english

File:

PDF, 175 KB

english, 2006

38

Functions as passive constraints in LIFE

Aït-Kaci, Hassan, Podelski, Andreas

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 2.50 MB

english, 1994

39

Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

40

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Year:

2007

Language:

english

File:

PDF, 633 KB

english, 2007

41

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Quasi-dependent variables in hybrid automata

Bogomolov, Sergiy, Herrera, Christian, Muñiz, Marco, Westphal, Bernd, Podelski, Andreas

Year:

2014

Language:

english

File:

PDF, 679 KB

english, 2014

42

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Proof Spaces for Unbounded Parallelism

Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

43

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Eliminating spurious transitions in reachability with support functions

Frehse, Goran, Bogomolov, Sergiy, Greitschus, Marius, Strump, Thomas, Podelski, Andreas

Year:

2015

Language:

english

File:

PDF, 717 KB

english, 2015

44

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Counterexample-guided focus

Podelski, Andreas, Wies, Thomas

Year:

2010

Language:

english

File:

PDF, 511 KB

english, 2010

45

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Proofs that count

Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

46

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

47

Transition predicate abstraction and fair termination

Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 525 KB

english, 2007

48

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2988 || A Tool for Checking ANSI-C Programs

Jensen, Kurt, Podelski, Andreas

Year:

2004

Language:

english

File:

PDF, 408 KB

english, 2004

49

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - Reducing GUI test suites via program slicing

Arlt, Stephan, Podelski, Andreas, Wehrle, Martin

Year:

2014

Language:

english

File:

PDF, 660 KB

english, 2014

50

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Nested interpolants

Heizmann, Matthias, Hoenicke, Jochen, Podelski, Andreas

Year:

2010

Language:

english

File:

PDF, 532 KB

english, 2010